President Trump on the success of Operation Warp Speed: "We are very proud of it."